computability theory中文是什么意思

發(fā)音:

中文翻譯
造句

可計(jì)算性理論

theory n. 1.理論，學(xué)理，原理。 2.學(xué)說(shuō)，論說(shuō) (opp. ...
computability 可計(jì)算性; 可算性
abacus computability 算盤(pán)可計(jì)算性
characterization of computability 可計(jì)算性刻劃
computability logic 可計(jì)算性邏輯
feasible computability 可行計(jì)算性; 可行可計(jì)算性
partial computability 部分可計(jì)算性
practical computability 實(shí)用可計(jì)算性
turing computability 圖靈機(jī)可計(jì)算性
equivalent definitions of computability 可計(jì)算性的等價(jià)定義
and theory 經(jīng)驗(yàn)與理論，119
in theory 從理論上說(shuō); 理論上，理論上講
s theory 弗洛倫斯學(xué)說(shuō); 戈?duì)柎膶W(xué)說(shuō); 赫伯理論; 嘉農(nóng)氏理論
the theory of the 事業(yè)理論
theory n. 1.理論，學(xué)理，原理。 2.學(xué)說(shuō)，論說(shuō) (opp. hypothesis)。 3.推測(cè)，揣度。 4.〔口語(yǔ)〕見(jiàn)解，意見(jiàn)。 the theory of two points 兩點(diǎn)論。 Darwin's theory of evolution 達(dá)爾文的進(jìn)化論。 theory of equations 【數(shù)學(xué)】方程論。 theory of everything 【物理學(xué)】(把相對(duì)論、量子論和宇宙大爆炸理論都包括在內(nèi)的)萬(wàn)用理論。 theory of relativity 【物理學(xué)】相對(duì)論。 the atomic theory 原子說(shuō)。 Our scheme is good both in theory and in practice. 我們的方案在理論上和實(shí)施上都是好的。 combine [separate] theory with [from] practice 理論結(jié)合[脫離]實(shí)際。 My theory is that we must bring new blood into the Institute through appointment of younger men to important positions. 我的意見(jiàn)是我們學(xué)院應(yīng)該通過(guò)重用年輕一些的人來(lái)注入新的血液。 theory of games 博弈論，對(duì)策論，權(quán)衡利弊得失的形勢(shì)分析。
theory of 經(jīng)驗(yàn)的理論，6
will theory 意思說(shuō)
electron theory (= electronic theory) 電子學(xué)說(shuō)
theory x and theory y x理論和y理論
theory x-theory y 理論
undulatory theory, wave theory 波動(dòng)說(shuō)
utility theory and decision theory 效用理論和決策理論
a finespun theory 瑣細(xì)得不切實(shí)際的理論
a profound theory 玄機(jī)
a question of theory 理論問(wèn)題

"查查詞典"手機(jī)版

千萬(wàn)人都在用的超大詞匯詞典翻譯APP

例句與用法

With the use of computability theory dividing whole - word coding into two parts : writing - input coding and computational coding , an method of none keyboard mapping for spelling language is proposed
本文依據(jù)可計(jì)算性理論，提出了拼音文字非鍵盤(pán)映射編碼方法，將整詞編碼分為輸寫(xiě)碼與計(jì)算碼。
The thesis consists of four sections . in section one , we introduce some background of the topic , in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic - the algebraic structure of the plus cupping turing degrees , in section three , we outline the basic principles of the priority tree argument , one of the main frameworks and tools of theorem proving in computability theory , and in section four , we prove a new result concerning the algebraic structure of the plus cupping turing degrees that there exist two computably enumerable degrees a , b such that a , b ? pc , and the join a v b of a and b is high
本篇論文分為4個(gè)部分：第一部分介紹了這個(gè)領(lǐng)域的一些背景知識(shí)；第二部分主要回顧了前人在研究可計(jì)算枚舉度的結(jié)構(gòu)和層譜時(shí)所取得的一些基本和最新結(jié)果，這些結(jié)果與我們的主題?加杯圖靈度的代數(shù)結(jié)構(gòu)密切相關(guān)；在第三部分中，我們概要的描述了優(yōu)先樹(shù)方法的基本原理，此方法是可計(jì)算性理論中定理證明的一個(gè)重要框架和工具；第四部分證明了一個(gè)加杯圖靈度代數(shù)結(jié)構(gòu)的新結(jié)果：存在兩個(gè)可計(jì)算枚舉度a ， b ，滿(mǎn)足a ， b pc ，而且a和b的并a b是一個(gè)高度。

百科解釋

Computability theory, also called recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees. The field has since grown to include the study of generalized computability and definability.

詳細(xì)百科解釋

其他語(yǔ)種釋義

computability theoryとは意味：計(jì)算可能性理論｛けいさんかのうせいりろん｝

推薦英語(yǔ)閱讀

computability theory的中文翻譯，computability theory是什么意思，怎么用漢語(yǔ)翻譯computability theory，computability theory的中文意思，computability theory的中文，computability theory in Chinese，computability theory的中文，computability theory怎么讀，發(fā)音，例句，用法和解釋由查查在線(xiàn)詞典提供，版權(quán)所有違者必究。